Поиск по сайту

ГлавнаяПоиск по сайту

Информация

По вашему запросу найдено материалов: 1
Искать:
Семенов А. А., Булавинцев В. Г. «О GPU-реализации ограниченной версии нехронологического алгоритма DPLL» // Прикладная дискретная математика. Приложение 2013. №6 (Приложение) C.111-112
Булавинцев В. Г. , Семенов А. А. «О GPU-реализации ограниченной версии нехронологического алгоритма DPLL» // Прикладная дискретная математика. Приложение 2013. №6 C.111-112